Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
- lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,[1] es el estudio formal y simbólico de la lógica,…32 kB (5266 palabras) - 21:56 6 abr 2024
- Metalógica (sección Decidibilidad)1918, Emil Post 1920) Decidibilidad de la lógica proposicional veritativo funcional (Emil Post 1920) Consistencia de la lógica de primer orden monádica…3 kB (1612 palabras) - 11:01 5 may 2021
- Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar…44 kB (5602 palabras) - 15:56 13 feb 2024
Anatoli Máltsev (categoría Matemáticos de Rusia)Novosibirsk, URSS, 7 de julio de 1967) fue un matemático soviético. Destacado por sus trabajos en decidibilidad en muchos grupos algebraicos. Ciertas álgebras…5 kB (557 palabras) - 17:27 27 dic 2023- Sistema formal (redirección desde Sistema lógico)de los sistemas formales más conocidos son la lógica proposicional, la lógica de primer orden y la lógica modal. En la teoría de la demostración, las demostraciones…9 kB (1824 palabras) - 11:25 19 abr 2024
Dana Scott (categoría Premio Rolf Schock de Lógica y Filosofía)es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley…13 kB (1050 palabras) - 17:05 17 abr 2024- Una lógica no clásica o lógica alternativa es un sistema formal que difiere de manera significativa de las lógicas clásicas. Hay varias formas de hacerlo…15 kB (2684 palabras) - 15:58 13 feb 2024
Frank P. Ramsey (categoría Matemáticos del Reino Unido del siglo XX)decisión en lógica de primer orden, es decir la decidibilidad de lo que hoy es llamado como la clase de Bernays–Schönfinkel–Ramsey de lógica de primer orden…9 kB (1160 palabras) - 10:12 6 ene 2024- Programa de Hilbert (categoría Lógica matemática)de las líneas actuales de investigación sobre lógica matemática, teoría de la demostración y matemática inversa pueden ser vistas como continuaciones…9 kB (1207 palabras) - 08:49 15 feb 2023
- Problema de decisión (categoría Wikipedia:Referenciar matemáticas)sumo por un factor lineal. Mediante codificaciones, se puede hablar de decidibilidad en conjuntos que no necesariamente son conjuntos de frases. Un problema…4 kB (555 palabras) - 01:17 22 feb 2023
- recursivos también se denominan lenguajes decidibles. El concepto de decidibilidad puede ser extendido a otros modelos de computación. Por ejemplo, se…3 kB (359 palabras) - 11:22 19 abr 2024
- de cuantificadores es un concepto de simplificación utilizado en lógica matemática, teoría de modelos, y teoría de la computación. Informalmente, una…8 kB (1035 palabras) - 10:48 14 ene 2024
- Wanda Szmielew (categoría Lógicos de Polonia)27 de agosto de 1976)[1] fue una lógica matemática polaca, conocida por ser la primera en demostrar la decidibilidad de la teoría de primer orden de grupos…7 kB (686 palabras) - 19:04 15 dic 2021
- Metamatemática (categoría Lógica)de la lógica de predicados en todos los órdenes. El concepto de recursividad en este contexto es equivalente al de computabilidad y decidibilidad. Paul…10 kB (1197 palabras) - 15:07 19 abr 2024
Alan Turing (categoría Lógicos de Inglaterra)Archivado desde el original el 16 de octubre de 2007. «El problema de la decidibilidad. Alan M. Turing III | Hablando de Ciencia». Hablando de Ciencia. 30…61 kB (7095 palabras) - 03:48 11 abr 2024
parte, el problema de la decidibilidad de la lógica de predicados planteado por Hilbert y Ackermann en su libro sobre lógica, publicado en 1928, y, por…30 kB (4148 palabras) - 00:23 28 ene 2024- dinámico es más flexible (debido a las limitaciones teóricas de la decidibilidad de ciertos problemas de análisis de programas estáticos, que impiden…13 kB (1776 palabras) - 22:35 9 dic 2021
- variables). El teorema de Tarski-Seidenberg es una extensión del teorema de decidibilidad, ya que se puede comprobar fácilmente si una fórmula libre de cuantificador…21 kB (3018 palabras) - 07:43 19 abr 2024
Consistencia (lógica), Decidibilidad, reglas de inferencias; tipos de método, etc. Esto se hace particularmente relevante para modelos matemáticos, los que…32 kB (3987 palabras) - 23:00 13 mar 2024- Anexo:Teorías de primer orden (categoría Lógica matemática)número finito de oraciones de lógica de primer orden, entonces la propiedad opuesta también puede expresarse en lógica de primer orden, pero si una propiedad…40 kB (5633 palabras) - 15:58 22 abr 2024
